Applied Categories and Functors for Undergraduates
نویسندگان
چکیده
These are lecture notes for a 1–semester undergraduate course (in computer science, mathematics, physics, engineering, chemistry or biology) in applied categorical metalanguage. The only necessary background for comprehensive reading of these notes are first-year calculus and linear algebra.
منابع مشابه
On descent for coalgebras and type transformations
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...
متن کاملThe function ring functors of pointfree topology revisited
This paper establishes two new connections between the familiar function ring functor ${mathfrak R}$ on the category ${bf CRFrm}$ of completely regular frames and the category {bf CR}${mathbf sigma}${bf Frm} of completely regular $sigma$-frames as well as their counterparts for the analogous functor ${mathfrak Z}$ on the category {bf ODFrm} of 0-dimensional frames, given by the integer-valued f...
متن کاملLimits for Lax Morphisms
We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This includes both the 2-category of monoidal categories and monoidal functors as well as the 2-category of monoidal categories and opomonoidal functors, among many other examples.
متن کاملQf Functors and (co)monads
One reason for the universal interest in Frobenius algebras is that their characterisation can be formulated in arbitrary categories: a functor K : A → B between categories is Frobenius if there exists a functor G : B → A which is at the same time a right and left adjoint of K; a monad F on A is a Frobenius monad provided the forgetful functor AF → A is a Frobenius functor, where AF denotes the...
متن کاملWeak Factorization Systems and Topological Functors
Weak factorization systems, important in homotopy theory, are related to injective objects in comma{categories. Our main result is that full functors and topological functors form a weak factorization system in the category of small categories, and that this is not coobrantly generated. We also present a weak factorization system on the category of posets which is not coobrantly generated. No s...
متن کامل